Daniel 1

Results: 2456



#Item
711

Under-Approximating Loops in C Programs for Fast Counterexample Detection? Daniel Kroening1 , Matt Lewis1 , and Georg Weissenbacher2?? 1 2

Add to Reading List

Source URL: www.georg.weissenbacher.name

Language: English - Date: 2013-06-17 11:22:26
    712

    -1 editie Feral Daniel SousaUS / 13’ Een animatie gemaakt vanuit het perspectief van

    Add to Reading List

    Source URL: www.kloosterkino.nl

    Language: Dutch - Date: 2013-04-03 07:24:54
      713

      1 A Study on the Routing Convergence of Latin American Networks Xiaoliang Zhao, Daniel Massey Information Science Institute University of Southern California, USA

      Add to Reading List

      Source URL: www.cs.colostate.edu

      Language: English - Date: 2004-04-13 15:18:29
        714

        THE HOD DICHOTOMY W. HUGH WOODIN, JACOB DAVIS, AND DANIEL RODR´IGUEZ 1. Introduction This paper provides a more accessible account of some of the material from Woodin [4] and [5]. All unattributed results are due to the

        Add to Reading List

        Source URL: www.math.cmu.edu

        Language: English - Date: 2012-05-22 14:42:07
          715

          1 By Barton Poulson Foreword by Daniel Jebaraj

          Add to Reading List

          Source URL: tanthiamhuat.files.wordpress.com

          Language: English - Date: 2015-04-08 09:45:25
            716

            MiniLearningHeapExpSimp / SAT4J Daniel Le Berre CRIL-CNRS FRE2499, Universit´e d’Artois, 62300 Lens, FRANCE 1

            Add to Reading List

            Source URL: fmv.jku.at

            Language: English - Date: 2006-08-11 20:20:02
              717

              How much can the orientation of G’s eigenvectors tell us about genetic constraints? Daniel Berner Zoological Institute, University of Basel, Vesalgasse 1, CH-4051, Basel, Switzerland Keywords

              Add to Reading List

              Source URL: cdn.salzburger-group.org

              Language: English - Date: 2014-03-18 12:44:56
                718

                Estimating the timing of early eukaryotic diversification with multigene molecular clocks Laura Wegener Parfreya,b,2, Daniel J. G. Lahra,b, Andrew H. Knollc,1, and Laura A. Katza,b,1 a Program in Organismic and Evoluti

                Add to Reading List

                Source URL: www.science.smith.edu

                Language: English - Date: 2011-09-19 11:15:04
                  719

                  THE JOURNAL OF CHEMICAL PHYSICS 136, Rejection-free Monte Carlo scheme for anisotropic particles Daniel W. Sinkovits,1,2 Stephen A. Barr,3 and Erik Luijten1,4,a) 1

                  Add to Reading List

                  Source URL: csml.northwestern.edu

                  Language: English - Date: 2015-03-12 22:09:38
                    720

                    GLOBAL BIOGEOCHEMICAL CYCLES, VOL. 18, GB4012, doi:2003GB002189, 2004 Isotopic constraints on glacial/interglacial changes in the oceanic nitrogen budget Curtis Deutsch,1,2 Daniel M. Sigman,3 Robert C. Thunell,4

                    Add to Reading List

                    Source URL: jetsam.ocean.washington.edu

                    Language: English - Date: 2014-10-03 20:12:37
                      UPDATE